to be no longer in operation